Software verification

Results: 1531



#Item
61Automatic Software Verification Ex. 2: Abstract Interpretation DueThis exercise is composed of 3 projects: you must do project 1, and may choose to do either project 2 or 3.

Automatic Software Verification Ex. 2: Abstract Interpretation DueThis exercise is composed of 3 projects: you must do project 1, and may choose to do either project 2 or 3.

Add to Reading List

Source URL: www.cs.tau.ac.il

- Date: 2015-05-25 08:42:52
    62Algorithmic Logic-Based Verification with SeaHorn (Invited Tutorial) Arie Gurfinkel Software Engineering Institute Carnegie Mellon University http://arieg.bitbucket.org

    Algorithmic Logic-Based Verification with SeaHorn (Invited Tutorial) Arie Gurfinkel Software Engineering Institute Carnegie Mellon University http://arieg.bitbucket.org

    Add to Reading List

    Source URL: arieg.bitbucket.org

    - Date: 2016-11-24 00:26:40
      63Published in Software Safety and Security; Tools for Analysis and Verification. NATO Science for Peace and Security Series, vol 33, pp286-318, 2012 A Primer on Separation Logic (and Automatic Program Verification and Ana

      Published in Software Safety and Security; Tools for Analysis and Verification. NATO Science for Peace and Security Series, vol 33, pp286-318, 2012 A Primer on Separation Logic (and Automatic Program Verification and Ana

      Add to Reading List

      Source URL: www.lsv.ens-cachan.fr

      - Date: 2014-03-02 08:55:00
        64A Quick Tour on LTL Model Checking Lecture #1 of Advanced Model Checking Joost-Pieter Katoen Lehrstuhl 2: Software Modeling & Verification E-mail: October 22, 2006

        A Quick Tour on LTL Model Checking Lecture #1 of Advanced Model Checking Joost-Pieter Katoen Lehrstuhl 2: Software Modeling & Verification E-mail: October 22, 2006

        Add to Reading List

        Source URL: www-i2.informatik.rwth-aachen.de

        - Date: 2006-10-23 09:28:13
          65Making Software Verification Tools Really Work? Jade Alglave, Alastair F. Donaldson, Daniel Kroening, and Michael Tautschnig Department of Computer Science, University of Oxford, Oxford, UK Abstract. We discuss problems

          Making Software Verification Tools Really Work? Jade Alglave, Alastair F. Donaldson, Daniel Kroening, and Michael Tautschnig Department of Computer Science, University of Oxford, Oxford, UK Abstract. We discuss problems

          Add to Reading List

          Source URL: www.doc.ic.ac.uk

          - Date: 2012-08-31 08:16:46
            66Software Verification Using k-Induction? Alastair F. Donaldson1 , Leopold Haller1 , Daniel Kroening1 , and Philipp R¨ummer2 1 2

            Software Verification Using k-Induction? Alastair F. Donaldson1 , Leopold Haller1 , Daniel Kroening1 , and Philipp R¨ummer2 1 2

            Add to Reading List

            Source URL: www.doc.ic.ac.uk

            - Date: 2012-08-31 08:16:46
              67Automatic Software Verification April 14, 2015 Lecture 4 Lecturer: Mooly Sagiv

              Automatic Software Verification April 14, 2015 Lecture 4 Lecturer: Mooly Sagiv

              Add to Reading List

              Source URL: www.cs.tau.ac.il

              - Date: 2015-05-25 11:04:12
                68Automatic Software Verification March 10, 2015 Lecture 1 Lecturer: Mooly Sagiv

                Automatic Software Verification March 10, 2015 Lecture 1 Lecturer: Mooly Sagiv

                Add to Reading List

                Source URL: www.cs.tau.ac.il

                - Date: 2015-04-21 07:32:56
                  69Using Regression Verification to Revalidate Real-Time Software on Multicore Computers Sagar Chaki1 , Arie Gurfinkel1 , and Ofer Strichman2 1 2

                  Using Regression Verification to Revalidate Real-Time Software on Multicore Computers Sagar Chaki1 , Arie Gurfinkel1 , and Ofer Strichman2 1 2

                  Add to Reading List

                  Source URL: fm.csl.sri.com

                  - Date: 2010-10-30 05:09:56
                    70Verification and Semantic Parallelization of Goal-driven Autonomous Software Damian Dechev1 , Nicolas Rouquette2 , Peter Pirkelbauer1 , and Bjarne Stroustrup1 , , peter.pirkel

                    Verification and Semantic Parallelization of Goal-driven Autonomous Software Damian Dechev1 , Nicolas Rouquette2 , Peter Pirkelbauer1 , and Bjarne Stroustrup1 , , peter.pirkel

                    Add to Reading List

                    Source URL: pirkelbauer.com

                    - Date: 2011-11-03 23:34:20